Distributive Laws for Monotone Specifications

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications - that disallow negative premises - do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.Comment: In Proceedings EXPRESS/SOS 2017, arXiv:1709.0004

Periconception endogenous and exogenous maternal sex steroid hormones and risk of asthma and allergy in offspring : protocol for a systematic review and meta-analysis

Introduction Pregnancy is associated with several hormonal changes which influence the developing fetus. Variations in maternal endogenous hormones and prepregnancy use of hormonal preparations have been linked to asthma and allergy in the offspring, but findings are inconsistent. We plan to undertake a systematic review to synthesise the evidence on the association between endogenous and exogenous maternal sex hormones and the risk of asthma and allergy in the offspring. Methods and analysis We will search Medline, Embase, Cochrane Library, Institute of Scientific Information Web of Science, Cumulative Index of Nursing and Allied Health, Scopus, Google Scholar, Allied and Complementary Medicine Database, Global Health, Psychological Information (PsycINFO), Centre for Agriculture and Bioscience (CAB) International and WHO Global Health Library from inception until 2016 to identify relevant studies on the topic. Additional studies will be identified by searching databases of proceedings of international conferences, contacting international experts in the field and searching the references cited in identified studies. We will include analytical epidemiological studies. Two researchers will independently screen identified studies, undertake data extraction and assess risk of bias in eligible studies, while a third reviewer will arbitrate any disagreement. We will use the Effective Public Health Practice Project tool to assess the risk of bias in the studies. We will perform a random-effects meta-analysis to synthesise the evidence. We will use the Grading of Recommendations Assessment, Development and Evaluation approach to rate the strength and quality of the overall evidence with respect to each outcome. Ethics and dissemination Ethical approval is not required since the study is a systematic review of published literature. Our findings will be reported in a peer-reviewed scientific journal.Peer reviewe

Implementation from a habit perspective

In their efforts to provide evidence-based care, health care professionals engage in a range of clinical behaviours. Their clinical actions are characteristically performed repeatedly, in the same physical locations with the same colleagues and patients, under constant time pressure and competing demands. This repetition under pressure in a stable setting provides ideal circumstances for creating contingencies between physical and social cues and clinical actions. Health care professional behaviour provides an ideal setting in which to advance theory, methods and interventions to better understand habit formation and habit reversal. Contemporary theoretical and methodological development in the psychology of habit has begun to be applied to understand and promote forming, breaking and replacing habitual behaviour among health care professionals. This chapter highlights key theoretical approaches, methods and intervention techniques that have been applied to conceptualize, measure, develop and break habit and automaticity in health care professionals. These insights have the potential to synergistically contribute novel perspectives to the wider habit literature

Active ingredients are reported more often for pharmacologic than non-pharmacologic interventions: an illustrative review of reporting practices in titles and abstracts

Peer reviewedPublisher PD

Are interventions for low-income groups effective in changing healthy eating, physical activity and smoking behaviours? A systematic review and meta-analysis

Objective To conduct a systematic review and meta-analysis examining the effectiveness of behavioural interventions targeting diet, physical activity or smoking in low-income adults. Design Systematic review with random effects meta-analyses. Studies before 2006 were identified from a previously published systematic review (searching 1995–2006) with similar but broader inclusion criteria (including non-randomised controlled trials (RCTs)). Studies from 2006 to 2014 were identified from eight electronic databases using a similar search strategy. Data sources MEDLINE, EMBASE, PsycINFO, ASSIA, CINAHL, Cochrane Controlled Trials, Cochrane Systematic Review and DARE. Eligibility criteria for selecting studies RCTs and cluster RCTs published from 1995 to 2014; interventions targeting dietary, physical activity and smoking; low-income adults; reporting of behavioural outcomes. Main outcome measures Dietary, physical activity and smoking cessation behaviours. Results 35 studies containing 45 interventions with 17 000 participants met inclusion criteria. At postintervention, effects were positive but small for diet (standardised mean difference (SMD) 0.22, 95% CI 0.14 to 0.29), physical activity (SMD 0.21, 95% CI 0.06 to 0.36) and smoking (relative risk (RR) of 1.59, 95% CI 1.34 to 1.89). Studies reporting follow-up results suggested that effects were maintained over time for diet (SMD 0.16, 95% CI 0.08 to 0.25) but not physical activity (SMD 0.17, 95% CI −0.02 to 0.37) or smoking (RR 1.11, 95% CI 0.93 to 1.34). Conclusions Behaviour change interventions for low-income groups had small positive effects on healthy eating, physical activity and smoking. Further work is needed to improve the effectiveness of behaviour change interventions for deprived populations

Changing patient preferences toward better trial recruitment : an ethical analysis

Acknowledgements We thank Luke Gelinas, who participated in our group’s discussions, for his insightful and helpful comments. Funding This work was supported by a project grant from the Canadian Institutes of Health Research (CIHR) (reference number: PJT – 169055).Peer reviewedPublisher PD

Assisted reproductive technology and risk of asthma and allergy in the offspring: protocol for a systematic review and meta-analysis

Peer reviewe

Changing healthcare professionals' non-reflective processes to improve the quality of care

Rationale. Translating research evidence into clinical practice to improve care involves healthcare professionals adopting new behaviours and changing or stopping their existing behaviours. However, changing healthcare professional behaviour can be difficult, particularly when it involves changing repetitive, ingrained ways of providing care. There is an increasing focus on understanding healthcare professional behaviour in terms of non-reflective processes, such as habits and routines, in addition to the more often studied deliberative processes. Theories of habit and routine provide two complementary lenses for understanding healthcare professional behaviour, although to date, each perspective has only been applied in isolation. Objectives To combine theories of habit and routine to generate a broader understanding of healthcare professional behaviour and how it might be changed. Methods Sixteen experts met for a two-day multidisciplinary workshop on how to advance implementation science by developing greater understanding of non-reflective processes. Results From a psychological perspective ‘habit’ is understood as a process that maintains ingrained behaviour through a learned link between contextual cues and behaviours that have become associated with those cues. Theories of habit are useful for understanding the individual's role in developing and maintaining specific ways of working. Theories of routine add to this perspective by describing how clinical practices are formed, adapted, reinforced and discontinued in and through interactions with colleagues, systems and organisational procedures. We suggest a selection of theory-based strategies to advance understanding of healthcare professionals' habits and routines and how to change them. Conclusion Combining theories of habit and routines has the potential to advance implementation science by providing a fuller understanding of the range of factors, operating at multiple levels of analysis, which can impact on the behaviours of healthcare professionals, and so quality of care provision.Peer reviewe

Assessing the feasibility, acceptability, and fidelity of a tele-retinopathy-based intervention to encourage greater attendance to diabetic retinopathy screening in immigrants living with diabetes from China and African-Caribbean countries in Ottawa, Canada: a protocol

Background: Diabetic retinopathy is a leading cause of preventable blindness in Canada. Clinical guidelines recommend annual diabetic retinopathy screening for people living with diabetes to reduce the risk and progression of vision loss. However, many Canadians with diabetes do not attend screening. Screening rates are even lower in immigrants to Canada including people from China, Africa, and the Caribbean, and these groups are also at higher risk of developing diabetes complications. We aim to assess the feasibility, acceptability, and fidelity of a co-developed, linguistically and culturally tailored tele-retinopathy screening intervention for Mandarin-speaking immigrants from China and French-speaking immigrants from African-Caribbean countries living with diabetes in Ottawa, Canada, and identify how many from each population group attend screening during the pilot period. // Methods: We will work with our health system and patient partners to conduct a 6-month feasibility pilot of a tele-retinopathy screening intervention in a Community Health Centre in Ottawa. We anticipate recruiting 50–150 patients and 5–10 health care providers involved in delivering the intervention for the pilot. Acceptability will be assessed via a Theoretical Framework of Acceptability-informed survey with patients and health care providers. To assess feasibility, we will use a Theoretical Domains Framework-informed interview guide and to assess fidelity, and we will use a survey informed by the National Institutes of Health framework from the perspective of health care providers. We will also collect patient demographics (i.e., age, gender, ethnicity, health insurance status, and immigration information), screening outcomes (i.e., patients with retinopathy identified, patients requiring specialist care), patient costs, and other intervention-related variables such as preferred language. Survey data will be descriptively analyzed and qualitative data will undergo content analysis. // Discussion: This feasibility pilot study will capture how many people living with diabetes from each group attend the diabetic retinopathy screening, costs, and implementation processes for the tele-retinopathy screening intervention. The study will indicate the practicability and suitability of the intervention in increasing screening attendance in the target population groups. The study results will inform a patient-randomized trial, provide evidence to conduct an economic evaluation of the intervention, and optimize the community-based intervention